第5题
阅读下列说明和程序，回答问题1至问题3,将答案填入答题纸的对应栏内。
【说明】
在开发某嵌入式系统时，设计人员根据系统要求，分别编写了如下程序，其中：
【程序1】：实现两个变量的值的互换；
【程序2】：完成某功能的C语言程序；
【程序3】和【程序4】：是P、V操作的形式化定义，设S为信号量。在多道程序系统中，进程是并发执行的。这些进程间存在着不同的相互制约关系，主要表现为同步和互斥两个方面。信号量是解决进程间同步与互斥的有效方法。
【程序1】
【程序2】
【程序3】
【程序4】
【说明】
在开发某嵌入式系统时，设计人员根据系统要求，分别编写了如下程序，其中：
【程序1】：实现两个变量的值的互换；
【程序2】：完成某功能的C语言程序；
【程序3】和【程序4】：是P、V操作的形式化定义，设S为信号量。在多道程序系统中，进程是并发执行的。这些进程间存在着不同的相互制约关系，主要表现为同步和互斥两个方面。信号量是解决进程间同步与互斥的有效方法。
【程序1】
【程序2】
【程序3】
【程序4】
【问题：5.1】执行【程序1】后，没有能够实现两个变量值的交换，为什么？请修改上述函数， 实现两个变量值的交换，要求函数无返回值，形式为：void swap(...)。请将答案填写在答题纸中对应的栏目。
【问题：5.2】请问【程序2】运行结果是什么？
【问题：5.3】请简述什么是临界资源？什么是临界区？
请完成【程序3】和【程序4】的形式化定义，将应填入(n)处的内容写在答题纸的对应栏中。
请完成【程序3】和【程序4】的形式化定义，将应填入(n)处的内容写在答题纸的对应栏中。